Coordination and Applicative Categorial Type Logic

Although much theoretical research has been devoted to coordination over the three last decades, this phenomenon remains a major challenge for linguistic theory and all formalisms of natural language processing. Moreover, the research models used claim to encompass the various forms coordination can take. In French the coordinating conjunction et (and) appears to be the tenth most frequently used. Grévisse and Goosse (1993) define coordination as an explicit or implicit relation which links elements of the same sort: sentences, or linguistic units which have the same function. It is expressed explicitly by markers (of coordination) which are in fact conjunctions, such as mais (but), ou (or), et (and), donc (therefore), ni (nor), car (because), or (but). In this article, we focus entirely on the marker et. The coordinated elements are generally of the same nature and fulfill the same function (In example (vii), coordination is non-distributive. The statement does not